Новая философская энциклопедия - множеств теория

В теории Кантора понятие множества не определяется, а лишь поясняется на примерах (множество всех четных натуральных чисел, множество всех натуральных решений данного алгебраического уравнения и т. д.). Множество считается заданным, если указано характеристическое свойство его элементов. Основное отношение— принадлежность одного множества другому Общность понятия «множество» дала возможность применять его в любой математической области, и практически вся математика использует язык теории множеств. Однако самому Кантору шаг обобщения дался трудно, и его идеи были встречены современниками по-разному: Р. Дедекинд и Д. Гильберт признали выдающееся значение теории множеств, в то время как Л. Кронекер был ее убежденным противником. Широкое признание учение Кантора получило на I Международном конгрессе математиков в Цюрихе. в 1897. Однако в это же время в теории множеств обнаружились противоречия, открытие которых (Г. Кантор, С. Бурали-Форти, Б. Рассел) потрясло все основание математики. Кризис этот продолжается и в настоящее время.  Но стоит отметить, что противоречия возникают на самых «верхних этажах» иерархии множеств, когда мы образуем «множество всех множеств», или «множество всех порядковых чисел», или «множество всех множеств, не являющихся элементами самих себя» и т. д. Т. о-, «наивная» теория множеств, т. е. в том виде, как ее создал Кантор, не может быть использована в полном объеме. С одной стороны, несмотря на противоречивость, ею продолжали пользоваться в различных областях математики (как языком, удобным для изложения предмета). С другой стороны, необходимо было исправить существующее положение дел. Были предложены различные выходы из создавшейся ситуации, но их пришлось признать в конечном итоге неудовлетворительными. Кратко эти попытки «ремонта» теории множеств резюмируются в характеристике трех основных течений, сложившихся в основаниях математики; логицизма, интуиционизма и формализма. С точки зрения логицизма математика — отрасль логики. Определения и теоремы математики следует давать и доказывать в терминах логических понятий. Приспосабливая логицистическое построение математики к открытиям противоречий, Рассел с помощью разветвленной теории типов исключил непредикативные определения. Однако Рассел не смог обойтись без аксиомы сводимости, утверждающей, что для каждого ненулевого свойства высшего порядка найдется равнообъемное свойство порядка ноль. К числу наиболее современных работ относится работа В. Куайна (W Quine), предложившего бестиповую аксиоматическую систему теории множеств (конечноаксиоматизируемую) с ограничением на схему аксиом свертывания Зх V у(у е x <